Revision: tla-tools--devo--0--patch-102
Archive: miles@gnu.org--gnu-2003
Creator: Miles Bader <miles@gnu.org>
Date: Thu Oct  9 14:25:30 JST 2003
Standard-date: 2003-10-09 05:25:30 GMT
Modified-files: ChangeLog tagline-funs.awk
    tla-update-ids.shpp {arch}/=tagline-rules
New-patches: miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-102
Summary: Update tla-update-ids help-text

